Reasoning about A tions , Events

E-RES - A System for Reasoning about A tions, Events and Observations

An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events

We formulate an algebra of binary tem poral relations between events the number of occurrences of which is unknown but which are known to recur in time Onto logically we view the temporal domain of recurring events as a set of convex in tervals of unknown cardinality Thus an explicit declarative representation of time adequate to solve reasoning problems in volving recurring events indicates a ...

Consisten y analysis for reasoning about a tions

An Argumentation Framework for Reasoning about A tions and Change

Time, chance and action

To operate intelligently in the world, an agent must reason about the consequences of its ac­ tions. The consequences of an action are a func­ tion of both the state of the world and of the action itself. In realistic domains we cannot ex­ pect to have complete information, so a repre­ sentation for reasoning about actions must be able to express uncertainty concerning the state of the world an...